// Copyright (C) 2015 the V8 project authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
es6id: 9.5.5
description: >
    Throws a TypeError exception if trap result and target property descriptors
    are not compatible.
info: |
    [[GetOwnProperty]] (P)

    ...
    20. Let valid be IsCompatiblePropertyDescriptor (extensibleTarget,
    resultDesc, targetDesc).
    21. If valid is false, throw a TypeError exception.
features: [Proxy]
---*/

function Test() {
    var target = {};

    var p = new Proxy(target, {
      getOwnPropertyDescriptor: function(t, prop) {
        var foo = {
          bar: 1
        };

        return Object.getOwnPropertyDescriptor(foo, "bar");
      }
    });

    Object.preventExtensions(target);

    assert.throws(TypeError, function() {
      Object.getOwnPropertyDescriptor(p, "bar");
    });
}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}
